See @lee2013smooth page 502, Theorem 19.21
Theorem (Global Frobenius Theorem). Let $D$ be an involutive distribution on a smooth manifold $M$. The collection of all maximal connected integral manifolds of $D$ forms a foliation of $M$.$\blacksquare$
It is worth noting that this result is one of the primary reasons why the notion of immersed manifold has been defined.
________________________________________
________________________________________
________________________________________
Author of the notes: Antonio J. Pan-Collantes
INDEX: